Trakhtenbrot, Mark : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (19)
Les plus populaires
Liste
- Liste
- Tableau

1

Identification and addressing reduction-related misconceptions

Gal-Ezer, Judith, Trakhtenbrot, Mark

Journal:

Computer Science Education

Année:

2016

Langue:

english

Fichier:

PDF, 1.05 MB

english, 2016

2

Algebraic characterization of regular languages

Gal-Ezer, Judith, Trakhtenbrot, Mark

Journal:

ACM SIGCSE Bulletin

Année:

2006

Langue:

english

Fichier:

PDF, 172 KB

english, 2006

3

[ACM Press the 2016 ACM Conference - Arequipa, Peru (2016.07.11-2016.07.13)] Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE '16 - Reduction Patterns

Gal-Ezer, Judith, Trakhtenbrot, Mark

Année:

2016

Langue:

english

Fichier:

PDF, 654 KB

english, 2016

4

[IEEE 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) - Jeju Island, Korea (South) (2019.9.23-2019.9.27)] 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) - An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems

Trakhtenbrot, Mark

Année:

2019

Fichier:

PDF, 194 KB

2019

5

Relationships between classes of monotonic functions

Mark B Trakhtenbrot

Journal:

Theoretical Computer Science

Année:

1976

Langue:

english

Fichier:

PDF, 2.67 MB

english, 1976

6

Assessment of the response to imatinib in chronic myeloid leukemia patients – comparison between the FISH, multiplex and RT-PCR methods

Pia Raanani, Isaac Ben-Bassat, Shlomit Gan, Luba Trakhtenbrot, Ziva Mark, Osnat Ashur-Fabian, Svetlana Itskovich, Frida Brok-Simoni, Gideon Rechavi, Ninette Amariglio, Arnon Nagler

Journal:

European Journal of Haematology

Année:

2004

Langue:

english

Fichier:

PDF, 133 KB

english, 2004

7

[ACM Press the 18th ACM conference - Canterbury, England, UK (2013.07.01-2013.07.03)] Proceedings of the 18th ACM conference on Innovation and technology in computer science education - ITiCSE '13 - Students misconceptions in analysis of algorithmic and computational complexity of problems

Trakhtenbrot, Mark

Année:

2013

Langue:

english

Fichier:

PDF, 411 KB

english, 2013

8

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Analysis of Applicability for Synchronization Complexity Metric

Yastrebenetsky, Peter, Trakhtenbrot, Mark

Année:

2011

Langue:

english

Fichier:

PDF, 236 KB

english, 2011

9

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - New Mutations for Evaluation of Specification and Implementation Levels of Adequacy in Testing of Statecharts Models

Trakhtenbrot, Mark

Année:

2007

Langue:

english

Fichier:

PDF, 402 KB

english, 2007

10

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Implementation-Oriented Mutation Testing of Statechart Models

Trakhtenbrot, Mark

Année:

2010

Langue:

english

Fichier:

PDF, 262 KB

english, 2010

11

[ACM Press the 11th annual SIGCSE conference - Bologna, Italy (2006.06.26-2006.06.28)] Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education - ITICSE '06 - Algebraic characterization of regular languages

Gal-Ezer, Judith, Trakhtenbrot, Mark

Année:

2006

Langue:

english

Fichier:

PDF, 172 KB

english, 2006

12

[ACM Press the 8th annual conference - Thessaloniki, Greece (2003.06.30-2003.07.02)] Proceedings of the 8th annual conference on Innovation and technology in computer science education - ITiCSE '03 - Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning

Trakhtenbrot, Mark

Année:

2003

Langue:

english

Fichier:

PDF, 65 KB

english, 2003

13

[ACM Press the 10th annual SIGCSE conference - Capacrica, Portugal (2005.06.27-2005.06.29)] Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education - ITiCSE '05 - Challenges in teaching the pumping lemma in automata theory course

Gal-Ezer, Judith, Trakhtenbrot, Mark

Année:

2005

Langue:

english

Fichier:

PDF, 131 KB

english, 2005

14

[IEEE 18th Conference on Software Engineering Education & Training (CSEET'05) - Ottawa, ON, Canada (2005.04.18-2005.04.20)] 18th Conference on Software Engineering Education & Training (CSEET'05) - An Undergraduate Program in Embedded Systems Engineering

Haberman, Bruria, Trakhtenbrot, Mark

Année:

2005

Langue:

english

Fichier:

PDF, 98 KB

english, 2005

15

Predictive value of psychological characteristics and suicide history on medical lethality of suicide attempts: A follow-up study of hospitalized patients

Trakhtenbrot, Ruth, Gvion, Yari, Levi-Belz, Yossi, Horesh, Netta, Fischel, Tsvi, Weiser, Mark, Treves, Ilan, Apter, Alan

Journal:

Journal of Affective Disorders

Année:

2016

Langue:

english

Fichier:

PDF, 383 KB

english, 2016

16

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - New Mutations for Evaluation of Specification and Implementation Levels of Adequacy in Testing of Statecharts Models

Trakhtenbrot, Mark

Année:

2007

Langue:

english

Fichier:

PDF, 402 KB

english, 2007

17

Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning

Trakhtenbrot, Mark

Journal:

ACM SIGCSE Bulletin

Année:

2003

Langue:

english

Fichier:

PDF, 65 KB

english, 2003

18

Challenges in teaching the pumping lemma in automata theory course

Gal-Ezer, Judith, Trakhtenbrot, Mark

Journal:

ACM SIGCSE Bulletin

Année:

2005

Langue:

english

Fichier:

PDF, 131 KB

english, 2005

19

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Mutation Patterns for Temporal Requirements of Reactive Systems

Trakhtenbrot, Mark

Année:

2017

Langue:

english

Fichier:

PDF, 412 KB

english, 2017